protoknow(pr,p,pri(enc,[cm(d,[u],dot),cm(n,dot,dot)])).
protoknow(pr,p,cm(np,dot,dot)).
